1. Decision procedures
Author: / Daniel Kroening, Ofer Strichman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
Classification :
QA
,
279
.
4
,.
K76
,
2008
2. Decision procedures : an algorithmic point of view
Author: Daniel Kroening, Ofer Strichman
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
Classification :
QA
279
.
4
.
K76D4
2016
